Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
251	facultad de inform´ atica universidad polit´ecnica de madrid Automatic Coding Rule Conformance Checking Using Logic Programming Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2007-09-01 17:49:20 C programming language MISRA C Prolog C Type system Computing Programming language theory Software engineering
252	Embedding logics in Dedukti 2014 edition Ali Assaf 2nd KWARC-Deducteam workshop May 26, 2014 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2015-01-08 08:10:54 Type theory Lambda calculus Formal methods Logic in computer science Coq Pure type system HOL Correctness Automated proof checking Theoretical computer science Applied mathematics Programming language theory
253	TEX in Teaching Michael Moortgat, Richard Moot, Dick Oehrle Contents Add to Reading List Source URL: www.ntg.nl Language: English - Date: 2001-09-26 14:35:12 Programming language theory Compiler construction Prolog Computational linguistics Logic Parsing Formal sciences Software engineering Science
254	PDF Document Add to Reading List Source URL: www.alisparkes.com Language: English - Date: 2015-05-14 16:11:31 Functional languages Lisp programming language Lisp Monster Hurdy gurdy Programming language theory Software engineering Computer programming
255	Electronic Prior Approval Request (PAR) System: FAQ’s Quick Reference Guide What actions require prior approval? Add to Reading List Source URL: cng.ncsu.edu Language: English - Date: 2012-10-09 16:49:22 Par ALGOL 68 Email Internet Computing Digital media Programming language theory
256	Task Sheet 1 A THELSTANEFORD B i rt h p l a c e o f S c o t l a n d ’ s F l ag Add to Reading List Source URL: www.scottishflagtrust.com Language: English - Date: 2013-02-21 03:56:06 Software engineering Computing Programming language theory Dovecote ALGOL 68
257	The Revised R6RS Status Report Marc Feeley ´ Universite´ de Montreal Add to Reading List Source URL: www.schemers.org Language: English - Date: 2004-10-20 19:21:36 Functional languages Scheme Scheme programming language Racket Lisp programming language Hygienic macro Lisp Continuation Matthew Flatt Software engineering Programming language theory Computing
258	CV Filip Murlak Contact data address University of Warsaw, Faculty of Mathematics, Informatics, and Mechanics Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2013-05-22 15:22:06 Computer science International Colloquium on Automata Languages and Programming Symposium on Theoretical Aspects of Computer Science Tree automaton Finite-state machine Formal language Hierarchy Automata theory Theoretical computer science Applied mathematics
259	Richard Hirsch MAPS 35 Folding Sheets for a Modular Origami Dodecalendar Add to Reading List Source URL: www.ntg.nl Language: English - Date: 2007-11-29 04:13:30 Computing Computer programming Programming language theory Caieiras Vilnius district municipality MetaPost PostScript Public domain software
260	In-Depth Coverage of the Icon Programming Language December 1991 Number 9 In this issue … Bogus Expressions … 1 Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 1998-11-16 14:45:20 Data types Type theory Icon Type system String C Variable Type inference Subroutine Software engineering Computing Computer programming

UPDATE